In this paper we argue that the human form should be seen to exist, in a longitudinal way, throughout the continuum of human growth and development. This entails that the moral value of that form, which we link analytically to the adult, interacting, social and rational being, attaches to all phases of human life to some extent. Having established this we discuss the consequences it has for the moral status of the human embryo. We then apply this argument, and the (...) resulting moral status, to the area of reproductive technology. In doing this we show that there are certain regulations and controls which ought to apply to the use of these infertility treatments. (shrink)

In the modern scientific literature, there are many reports about the successful application of neural network technologies for solving complex applied problems, in particular, for modeling the urban real estate market. There are neural network models that can perform mass assessment of real estate objects taking into account their construction and operational characteristics. However, these models are static because they do not take into account the changing economic situation over time. Therefore, they quickly become outdated and need frequent updates. In (...) addition, if they are designed for a specific city, they are not suitable for other cities. On the other hand, there are several dynamic models taking into account the overall state of the economy and designed to predict and study the overall price situation in real estate markets. Such dynamic models are not intended for mass real estate appraisals. The aim of this article is to develop a methodology and create a complex model that has the properties of both static and dynamic models. Moreover, our comprehensive model should be suitable for evaluating real estate in many cities at once. This aim is achieved since our model is based on a neural network trained on examples considering both construction and operational characteristics, as well as geographical and environmental characteristics, along with time-changing macroeconomic parameters that describe the economic state of a specific region, country, and the world. A set of examples for training and testing the neural network were formed on the basis of statistical data of real estate markets in a number of Russian cities for the period from 2006 to 2020. Thus, many examples included the data relating to the periods of the economic calm for Russia, along with the periods of crisis, recovery, and growth of the Russian and global economy. Due to this, the model remains relevant with the changes of the international economic situation and it takes into account the specifics of regions. The model proved to be suitable for solving the following tasks: industrial economic analysis, company strategic and operational management, analytical and consulting support of investment, and construction activities of professional market participants. The model can also be used by government agencies authorized to conduct public cadastral assessment for calculating property taxes. (shrink)

We show that in the presence of the torsion tensor \, the quantum commutation relation for the four-momentum, traced over spinor indices, is given by \. In the Einstein–Cartan theory of gravity, in which torsion is coupled to spin of fermions, this relation in a coordinate frame reduces to a commutation relation of noncommutative momentum space, \, where U is a constant on the order of the squared inverse of the Planck mass. We propose that this relation replaces the integration (...) in the momentum space in Feynman diagrams with the summation over the discrete momentum eigenvalues. We derive a prescription for this summation that agrees with convergent integrals: \^s}\rightarrow 4\pi U^{s-2}\sum _{l=1}^\infty \int _0^{\pi /2} d\phi \frac{\sin ^4\phi \,n^{s-3}}{[\sin \phi +U\varDelta n]^s}\), where \}\) and \ does not depend on p. We show that this prescription regularizes ultraviolet-divergent integrals in loop diagrams. We extend this prescription to tensor integrals. We derive a finite, gauge-invariant vacuum polarization tensor and a finite running coupling. Including loops from all charged fermions, we find a finite value for the bare electric charge of an electron: \. This torsional regularization may therefore provide a realistic, physical mechanism for eliminating infinities in quantum field theory and making renormalization finite. (shrink)

Wiaczesław Iwanow należy do głównych animatorów tzw. renesansu rosyjskiego. Razem z D. Mereżkowskim, W. Rozanowem i N. Bierdiajewem, a także w pewnej mierze z L. Szestowem, stworzyli oni specyficzny kult Fiodora Dostojewskiego. Ten kult nie ograniczał się do podziwu dla twórczości literackiej rosyjskiego pisarza, ale wyrażał się również w traktowaniu Dostojewskiego jako filozofa, teologa, a może nawet proroka, który dotknął wszystkich najważniejszych kwestii nie tylko rosyjskiej historii, ale także historii świata i to nawet w kontekście eschatologicznym. Jak to określił M. (...) Bierdiajew, Dostojewski „był prawdziwym filozofem, największym filozofem rosyjskim. My już od długiego czasu filozofujemy o rzeczach ostatecznych pod znakiem Dostojewskiego". W. Rozanow stwierdza natomiast, ze F. Dostojewski to „wszechświatowy publicysta o znaczeniu historycznym, którego zainteresowania wychodziły daleko poza codzienność, a w apelach swych zwracał się do wieków i narodów, będąc prorokiem zapatrzonym w wieczność". (shrink)

Wiaczesław Iwanow należy do głównych animatorów tzw. renesansu rosyjskiego. Razem z D. Mereżkowskim, W. Rozanowem i N. Bierdiajewem, a także w pewnej mierze z L. Szestowem, stworzyli oni specyficzny kult Fiodora Dostojewskiego. Ten kult nie ograniczał się do podziwu dla twórczości literackiej rosyjskiego pisarza, ale wyrażał się również w traktowaniu Dostojewskiego jako filozofa, teologa, a może nawet proroka, który dotknął wszystkich najważniejszych kwestii nie tylko rosyjskiej historii, ale także historii świata i to nawet w kontekście eschatologicznym. Jak to określił M. (...) Bierdiajew, Dostojewski „był prawdziwym filozofem, największym filozofem rosyjskim. My już od długiego czasu filozofujemy o rzeczach ostatecznych pod znakiem Dostojewskiego". W. Rozanow stwierdza natomiast, ze F. Dostojewski to „wszechświatowy publicysta o znaczeniu historycznym, którego zainteresowania wychodziły daleko poza codzienność, a w apelach swych zwracał się do wieków i narodów, będąc prorokiem zapatrzonym w wieczność". (shrink)

Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic [3] we show that there exists a number n such that ⋃m Sm (the union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory $S_{3}^{n}$.

We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...) constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations of $\exists \sum {\begin{array}{*{20}{c}} h \\ 0 \\ \end{array} } $ sentences. We also present an old but previously unpublished proof of the consistency of I∆₀ + ¬ exp + ¬BΣ₁ under the assumption that the size parameter in Lessan's ∆₀ universal formula is optimal. We then discuss a possible reason why proving the consistency of I∆₀ + ¬ exp + ¬BΣ₁ unconditionally has turned out to be so difficult. (shrink)

We study the first-order consequences of Ramsey’s Theorem fork-colourings ofn-tuples, for fixed$n, k \ge 2$, over the relatively weak second-order arithmetic theory$\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of$\mathrm {RCA}^*_0$that does not satisfy$\Sigma ^0_1$induction,$\mathrm {RT}^n_k$is equivalent to its relativization to any proper$\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.We give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$for$n \ge (...) 3$. We show that they form a non-finitely axiomatizable subtheory of$\mathrm {PA}$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _{\ell +3}$fragment for$\ell \ge 1$lies between$\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$and$\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$form a subtheory of$\mathrm {I} \Sigma _2$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _4$fragment is strictly weaker than$\mathrm {B} \Sigma _2$but not contained in$\mathrm {I} \Sigma _1$.Additionally, we consider a principle$\Delta ^0_2$-$\mathrm {RT}^2_2$which is defined like$\mathrm {RT}^2_2$but with both the$2$-colourings and the solutions allowed to be$\Delta ^0_2$-sets rather than just sets. We show that the behaviour of$\Delta ^0_2$-$\mathrm {RT}^2_2$over$\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$is in many ways analogous to that of$\mathrm {RT}^2_2$over$\mathrm {RCA}^*_0$, and that$\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$is$\Pi _4$- but not$\Pi _5$-conservative over$\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of$\Pi _5$-conservativity is not provable in$\mathrm {RCA}_0 +\mathrm {RT}^2_2$. (shrink)

For any n, we construct a model of in which each formula is equivalent to an formula.

We show that for each n ≥ 1, if T2n does not prove the weak pigeonhole principle for Σbn functions, then the collection scheme B Σ1 is not finitely axiomatizable over T2n. The same result holds with Sn2 in place of T 2n.

The paper discusses the notion of finite model truth definitions (or FM-truth definitions), introduced by M. Mostowski as a finite model analogue of Tarski's classical notion of truth definition. We compare FM-truth definitions with Vardi's concept of the combined complexity of logics, noting an important difference: the difficulty of defining FM-truth for a logic ᵍ does not depend on the syntax of L, as long as it is decidable. It follows that for a natural ᵍ there exist FM-truth definitions whose (...) evaluation is much easier than the combined complexiy of ᵍ would suggest. We apply the general theory to give a complexity-theoretical characterization of the logics for which the $\Sigma_{m}^{d}$ classes (prenex classes of higher order logics) define FM-truth. For any $d \geq 2.m \geq 1$ we construct a family $\{[\Sigma_{m}^{d}]^{\leg\kappa}\}\kappa\in\omega$ of syntactically defined fragments of $\Sigma_{m}^{d}$ which satisfy this characterization. We also use the $[\Sigma_{m}^{d}]\leg\kappa$ classes to give a refinement of known results on the complexity classes captured by $\Sigma_{m}^{d}$ . We close with a few simple corollaries, one of which gives a sufficient condition for the existence, given a vocabulary $\sigma$ , of a fixed number $\kappa$ such that model checking for all first order sentences over $\sigma$ can be done in deterministic time $n^{\kappa}$. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory [math] of [E. Jeřábek, Approximate counting by hashing in bounded arithmetic, J. Symb. Log. 74(3) (2009) 829–860]. In particular, the Ramsey and weak pigeonhole search problems lie in the new class. We give a purely computational (...) characterization of this class and show that, relative to an oracle, it does not contain the problem CPLS, a strengthening of PLS. As CPLS is provably total in the theory [math], this shows that [math] does not prove every [math] sentence which is provable in bounded arithmetic. This answers the question posed in [S. Buss, L. A. Kołodziejczyk and N. Thapen, Fragments of approximate counting, J. Symb. Log. 79(2) (2014) 496–525] and represents some progress in the program of separating the levels of the bounded arithmetic hierarchy by low-complexity sentences. Our main technical tool is an extension of the “fixing lemma” from [P. Pudlák and N. Thapen, Random resolution refutations, Comput. Complexity, 28(2) (2019) 185–239], a form of switching lemma, which we use to show that a random partial oracle from a certain distribution will, with high probability, determine an entire computation of a [math] oracle machine. The introduction to the paper is intended to make the statements and context of the results accessible to someone unfamiliar with NP search problems or with bounded arithmetic. (shrink)

The study tested how the use of positive- (e.g. beautiful) and negative-valenced (e.g. horrible) words in natural language and its change in time affects the severity of depression and anxiety symptoms among depressed and non-depressed individuals. This longitudinal mixed methods study (N = 40 participants, n = 1440 narratives) with three measurements within a year showed that at the between-person level the use of negative-valenced words was strongly associated with the increase in anxiety and depression symptoms over time while the (...) use of positive-valenced words was slightly associated with the decrease in anxiety and depression symptom. These effects were not supported for within-person level (i.e. changes in word usage). No significant differences were observed in the effects between depressed and non-depressed groups. Summing up, the overall use of positive- and negative-valenced words (particularly negative-valenced words) had a stronger effect on the severity of psychopathological symptoms than their change over time. The results were discussed in the context of natural language processing and its application in diagnosing depression and anxiety symptoms. (shrink)

Epistemicism associates vagueness with ignorance produced by semantic plasticity: the shiftiness of intensions in our language resulting from small changes in usage. The recent literature (Caie 2012; Magidor 2018; Yli-Vakkuri 2016) points to a missing piece in the epistemicist theory of vagueness, namely a clear account of the semantics of the definiteness operator Δ. The fundamentals of the epistemicist theory are well understood. However, the technical work of defining the definiteness operator has proven difficult. There are several desiderata that we (...) would like Δ to satisfy. For instance, we would like the epistemicist notion of ‘definiteness’ to interact well with modal operators and validate intuitive principles like ‘necessarily, if φ is definitely true, then φ is true’. Providing an account that would meet all such desiderata has eluded the epistemicists so far. In this paper, I present a novel version of a multidimensional model inspired by the work of Robert Stalnaker and David Kaplan. Using this model, I provide an account of epistemicist definiteness that meets our desiderata. (shrink)

The epistemicist theory aims to explain ignorance due to vagueness by semantic plasticity: the shiftiness of intensions across close possible worlds resulting from shiftiness in usage. This explanation is challenged by the Omniscient Speaker Puzzle (Sennet in Philos Stud 161(2):273–285, 2012). Suppose that an omniscient speaker, Barney, who knows all the facts about usage and how these facts determine the intensions of expressions, cooks up a scheme to stabilise the intension of a normally semantically plastic term like ‘rich’. It seems (...) that ‘rich’ would display all the phenomena associated with vagueness without being semantically plastic, thus making the epistemicist explanation of ignorance due to vagueness insufficient. In this paper, I present a few choice points for epistemicism that arise as a result of the puzzle. (shrink)

Procrastination as putting off until tomorrow what one had intended to do today is well-known tendency in everyday life. In an attempt to understand the character of procrastination in different life-domains, a large body of research has been accumulated over the last decades. This article was aimed to evaluate a specific decisional procrastination of school-to-work transition that is treated as maturity postponement. Two studies are reported examining SWT procrastination defined as career indecision among Polish students graduating universities. In Study 1, (...) attitudinal and identity statuses were analyzed as correlates of career procrastination. A path analysis conducted for the model, which was aimed to explain the influence of career self-efficacy and occupational commitment on career indecision, revealed its very good fitness. Those two independent variables explain 10% of career indecision variance. Stepwise multiple regression analyses conducted to ascertain relationship of five identity statuses to procrastination measure showed that Commitment Making and Ruminative Exploration are strongest predictor variables. In study 2, the stepwise multiple regression analyses conducted to ascertain the independent relationship of each of Big Five personality factor revealed that Neuroticism and Extraversion accounts of the most of explained variance of school-to-work transition procrastination. (shrink)

Artykuł analizuje Polesie F. A. Ossendowskiego w kontekście międzywojennego przekonania o egzotyczności tego regionu, które kumulowało się w metaforze „polskiej dżungli”. Pokazuje, w jaki sposób narracja reportażowa wchłaniała elementy ówczesnych dyskursów przyrodoznawczych, etnograficznych, militarnych oraz państwowych oraz na ile wpłynęły one na strategie reprezentacji literackiej. W jej ramach modernizacja Polesia była przedstawiona jako misja cywilizacyjna, ściśle sprzęgnięta z polonizacją mieszkańców tego obszaru.

a This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.a (TM) These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic. (...) In 1989, when the first edition of On Law and Reason appeared, this book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy. That was not an obvious combination at the time of the booka (TM)s first appearance and still is not. The result is an analytical rigor that is usually associated with positivist theories of the law, combined with a philosophical position that is not natural law in a strict sense, but which shares with it the emphasis on the role of reason in determining what the law is. If only for this rare combination, On Law and Reason still deserves careful study. On Law and Reason also foreshadowed and influenced a development in the field of Legal Logic that would take place in the nineties of the 20th century, namely the development of non-monotonic (a defeasiblea (TM)) logics for the analysis of legal reasoning. In the new Introduction to this second edition, this aspect is explored in some more detail. (shrink)

According to international longitudinal studies, the quality of preschool education is of great importance for children’s further development. The modern research’s greatest interest in the field of studying the quality of preschool education is precisely the assessment of the relationship between the teacher and children as well as the teaching quality in kindergarten groups. In this regard, the Classroom Assessment Scoring System (CLASS) seems to be the one of the most relevant for the educational environment quality evaluation. The CLASS methodology (...) (which includes emotional support, classroom organization, and instrumental support) is based on the cultural-historical approach, which shows the interaction between students and adults as the main mechanism for child’s development. The aim of this study is to investigate the relationships between different aspects of the classroom organization quality in kindergarten groups and executive functions components (such as cognitive flexibility, inhibitory control, and working memory) in 5–6-year-old children. The quality of classroom interaction was measured by the CLASS. The study used the Dimensional Change Card Sort (DCCS) method to assess cognitive flexibility and the NEPSY-II subtests “Inhibition” to assess inhibitory control and “Memory for Designs” and “Sentences Repetition” to assess visuo-spatial and verbal working memory, respectively. The study was approved by the Ethics Committee of the Faculty of Psychology at Lomonosov Moscow State University. The study involved 26 kindergarten groups in Moscow. While conducting the research, extreme groups were identified (5 with low quality and 10 with high-quality levels of classroom interaction). Then, three kindergarten groups with low level (65 children) and three groups with high level (68 children) of interaction within classroom were selected and compared. The results revealed that children from groups with low level of classroom interaction have higher results in cognitive flexibility tasks when compared with children from groups with high level of interaction. Also, children from groups with high-quality classroom interaction demonstrated higher results in visuo-spatial working memory tasks and inhibitory control tasks as contrasted with children from low-quality groups. These findings attest to the importance of classroom interaction quality for the executive functions development in the preschool age. (shrink)